Exercise logic.propositional.dnf
Description
Proposition to DNF
Code | logic.propositional.dnf |
Status | Stable |
Strategy | dnf |
Rules | 33 |
Buggy rules | 39 |
OpenMath support | yes |
Restartable strategy | yes |
Exercise generator | yes |
Examples | 0 |
Example exercises
generate exercise: very_easy, easy, medium, difficult, very_difficult